Upload
Featured Recent Articles Topics Login Upload

Search Results for ''

published presentations and documents on DocSlides.

Unprovability of strong complexity lower bounds in bounded arithmetic
Unprovability of strong complexity lower bounds in bounded arithmetic
by eve
Dagstuhl Workshop. March/. 2023. Igor Carboni Oliv...
Conspiracies between Learning Algorithms,
Conspiracies between Learning Algorithms,
by mitsue-stanley
Lower Bounds, and Pseudorandomness. Igor Carboni ...
Resource Bound Inference for Functional Programs
Resource Bound Inference for Functional Programs
by ellena-manuel
Ravichandhran Madhavan. , . Viktor . Kuncak. ,. E...
Contract-based Resource Verification for
Contract-based Resource Verification for
by calandra-battersby
Higher-order Functions with . Memoization. Ravich...
An average-case lower bound against ACC
An average-case lower bound against ACC
by rose
0. Joint work with . Ruiwen Chen. and . Rahul ...
Non-Uniform ACC Circuit Lower Bounds
Non-Uniform ACC Circuit Lower Bounds
by natalie
Ryan Williams . IBM . Almaden. TexPoint. font...
TIME - OUTS
TIME - OUTS
by marina-yarberry
Rules 4-24, 4-25 and 4-26. Official’s Time-outs...
Optimal bounds
Optimal bounds
by natalia-silvester
on . approximation. of . submodular. and XOS ....
Tardiness Bounds for Global EDF Scheduling on a Uniform Mul
Tardiness Bounds for Global EDF Scheduling on a Uniform Mul
by ellena-manuel
Kecheng. Yang. James H. Anderson. Dept. of Compu...
Branching Programs
Branching Programs
by cheryl-pisano
Paul . Beame. University of Washington. . Branch...
Branching Programs Part 3
Branching Programs Part 3
by sherrill-nordquist
Paul . Beame. University of Washington. Outline. ...
Optimal bounds on approximation
Optimal bounds on approximation
by tatyana-admore
of . submodular. and XOS . functions by juntas...
Stronger Connections Between Circuit Analysis and Circuit Lower Bounds, via PCPs of Proximity
Stronger Connections Between Circuit Analysis and Circuit Lower Bounds, via PCPs of Proximity
by amelia
Lijie. Chen. Ryan Williams. Context: The Algorith...
Branching Programs
Branching Programs
by calandra-battersby
Part 3. Paul . Beame. University of Washington. O...
COLLEGE OUT OF BOUNDS & RIDE TIME RULES FOR ALL DIVISIONS HIGH SCHOOL
COLLEGE OUT OF BOUNDS & RIDE TIME RULES FOR ALL DIVISIONS HIGH SCHOOL
by conchita-marotz
WINGS STADIUM EVENT CENTER KALAMAZOO, MICHIG...
Time Bounds for
Time Bounds for
by kittie-lecroy
General . Function Pointers. Robert . Dockins. a...
Lower Bounds for the Capture Time: Linear, Quadratic, and B
Lower Bounds for the Capture Time: Linear, Quadratic, and B
by lindy-dunigan
How to catch a robber on a graph?. The game of Co...
Non-Uniform
Non-Uniform
by tawny-fly
ACC Circuit Lower Bounds. Ryan Williams . IBM...
Non-Uniform
Non-Uniform
by test
ACC Circuit Lower Bounds. Ryan Williams . IBM...
Distributed Systems Foundations
Distributed Systems Foundations
by olivia-moreira
Lecture 1. Main Characteristics of Distributed Sy...
Guide for
Guide for
by lois-ondreau
beginner volleyball. referees. Chapter 2: The Vol...
Jeff Edmonds room: 3044
Jeff Edmonds room: 3044
by ellena-manuel
jeff@cs.yorku.ca. Many Topics in Theory & M...
Tight Lower Bounds for Data-Dependent
Tight Lower Bounds for Data-Dependent
by phoebe-click
L. ocality-. S. ensitive . H. ashing. Alexandr . ...
Lower Bounds for the Capture Time: Linear, Quadratic, and Beyond
Lower Bounds for the Capture Time: Linear, Quadratic, and Beyond
by briana-ranney
How to catch a robber on a graph?. The game of Co...
Data Structures Haim Kaplan
Data Structures Haim Kaplan
by mitsue-stanley
and. Uri . Zwick. February 2010. Lecture 2. Amor...
Improved Bounds for Perfect Sampling of
Improved Bounds for Perfect Sampling of
by SuperFunGuy
-. C. o. l. o. r. i. n. g. s. in Graphs.  . Joi...
ANALYSIS AND SYNTHESIS OF OPTICAL BURST SWITCHED NETWORKS
ANALYSIS AND SYNTHESIS OF OPTICAL BURST SWITCHED NETWORKS
by emma
Li, . Shuo. Supervisor: Prof. Moshe Zukerman. Co-s...